IMonoid $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:GrpSig$\mid$ IsMonoid($\mid$$g$$\mid$;$\ast$;e)\}